Myrmecocystus mexicanus var. hortideorum